Closed Game

#	Item
61	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
62	Surreal Numbers – An Introduction Version 1.6 Add to Reading List Source URL: www.tondering.dk Language: English - Date: 2013-09-25 05:59:12 Infinity Logic Combinatorial game theory Real closed field Surreal number Vacuous truth Infinitesimal Number FO Mathematics Abstract algebra Mathematical logic